chmod 777 ./handin/cadical
chmod 777 ./abc-try/abc-master/abc
